This is a patch for correctly saving and restoring sessions for the Jedit sessions plugin. It also fixes a bug where the plugin menu item of "Save Session" was not working because the Session Manager member function had been removed. With this patch sessions are saved and restored correctly. This patch also supports sessions being saved and restored correctly when different views have different sessions.
| Submitted | eldienerlee - 2016-08-27 21:39:02.138000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |